reverse mathematics中文什么意思

反推数学

逆数学

• reverse:    vt. 1.使颠倒，使倒转，使反转； ...
• mathematics:    n. 数学。 ★通常作单数用，带有“ ...
• mathematics a:    数学一

百科释义

Reverse mathematics is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. Its defining method can briefly be described as "going backwards from the theorems to the axioms", in contrast to the ordinary mathematical practice of deriving theorems from axioms.